Lý thuyết bán nhóm là gì? Các nghiên cứu khoa học liên quan

Bối cảnh và ý nghĩa của lý thuyết bán nhóm

Lý thuyết bán nhóm là một nhánh của đại số trừu tượng tập trung vào việc nghiên cứu các tập hợp được trang bị một phép toán hai ngôi thỏa mãn duy nhất một tiên đề: tính kết hợp. So với lý thuyết nhóm, đây là một khuôn khổ tối giản hơn nhiều vì không yêu cầu sự tồn tại của phần tử đơn vị hay phần tử nghịch đảo. Chính sự tối giản này làm cho bán nhóm trở thành một công cụ linh hoạt để mô hình hóa nhiều hiện tượng toán học và tin học mà bản thân chúng không có cấu trúc “đối xứng” hoàn chỉnh như nhóm.

Về mặt lịch sử, lý thuyết bán nhóm phát triển mạnh từ giữa thế kỷ XX, khi các nhà toán học nhận ra rằng nhiều đối tượng tự nhiên trong tổ hợp, giải tích, và đặc biệt là lý thuyết tự động, không mang cấu trúc nhóm nhưng vẫn có phép toán kết hợp tự nhiên. Việc tách riêng bán nhóm khỏi lý thuyết nhóm giúp làm rõ bản chất của các quá trình lặp, ghép nối, và hợp thành mà không cần giả định thêm.

Trong bối cảnh hiện đại, bán nhóm đóng vai trò cầu nối giữa đại số thuần túy và tin học lý thuyết. Các mô hình như tự động hữu hạn, ngôn ngữ chính quy, hay hệ thống chuyển trạng thái đều có thể được mô tả thông qua các bán nhóm hữu hạn hoặc monoid. Vì vậy, lý thuyết bán nhóm không chỉ là một lĩnh vực trừu tượng mà còn có giá trị ứng dụng rõ rệt.

• Cung cấp mô hình trừu tượng cho phép ghép nối và hợp thành.
• Đóng vai trò nền tảng trong nghiên cứu ngôn ngữ hình thức.
• Giúp phân tích cấu trúc của các hệ thống rời rạc và thuật toán.

Định nghĩa hình thức và các biến thể liên quan

Một bán nhóm được định nghĩa một cách hình thức như sau: cho một tập khác rỗng S cùng với một phép toán hai ngôi “·” từ S × S vào S. Cặp (S, ·) được gọi là một bán nhóm nếu phép toán này thỏa mãn tính kết hợp, tức là với mọi a, b, c thuộc S, ta luôn có (a · b) · c = a · (b · c). Không có bất kỳ yêu cầu nào khác được đặt ra trong định nghĩa này.

Chính vì chỉ có một tiên đề duy nhất, định nghĩa bán nhóm rất rộng và bao trùm nhiều cấu trúc quen thuộc. Tuy nhiên, trong thực hành toán học, người ta thường bổ sung thêm các điều kiện để thu được những lớp cấu trúc quen thuộc hơn. Khi một bán nhóm có thêm phần tử đơn vị, nó được gọi là monoid. Khi mọi phần tử trong monoid đều có nghịch đảo, cấu trúc đó trở thành nhóm.

Việc so sánh các cấu trúc này giúp làm rõ vị trí của bán nhóm trong hệ thống các đối tượng đại số. Bảng sau tóm tắt sự khác biệt cơ bản giữa bán nhóm, monoid và nhóm.

Cấu trúc	Tính kết hợp	Phần tử đơn vị	Nghịch đảo
Bán nhóm	Có	Không yêu cầu	Không yêu cầu
Monoid	Có	Có	Không yêu cầu
Nhóm	Có	Có	Có

Ngoài ra, còn nhiều biến thể khác như bán nhóm giao hoán (ab = ba), bán nhóm có thứ tự, hay bán nhóm tô pô, tùy thuộc vào việc người nghiên cứu muốn kết hợp thêm những cấu trúc phụ trợ nào.

Ví dụ kinh điển và trực giác

Các ví dụ cụ thể đóng vai trò quan trọng trong việc hình thành trực giác về bán nhóm. Một ví dụ đơn giản là tập các số tự nhiên với phép cộng. Phép cộng là kết hợp, nên (N, +) là một bán nhóm. Nếu xét thêm số 0 như phần tử đơn vị, ta thu được một monoid. Tuy nhiên, không phải mọi phần tử đều có nghịch đảo trong N, nên đây không phải là nhóm.

Một ví dụ khác đến từ tin học là tập các chuỗi ký tự trên một bảng chữ cái hữu hạn, với phép nối chuỗi. Phép nối này rõ ràng là kết hợp, và chuỗi rỗng đóng vai trò phần tử đơn vị. Đây là một trong những ví dụ trung tâm vì nó liên hệ trực tiếp đến ngôn ngữ hình thức và tự động hữu hạn.

Các phép hợp thành ánh xạ cũng cung cấp một lớp ví dụ quan trọng. Cho một tập X, tập tất cả các hàm từ X vào X với phép hợp thành là một monoid. Nếu chỉ xét một tập con các hàm này, ta thường chỉ thu được một bán nhóm. Ví dụ này giúp minh họa cách bán nhóm mô tả các quá trình “áp dụng liên tiếp” các phép biến đổi.

• Số tự nhiên với phép cộng.
• Chuỗi ký tự với phép nối.
• Hàm và phép hợp thành.
• Ma trận với phép nhân ma trận (cùng kích thước).

Trực giác chung là: bất cứ khi nào có một thao tác ghép nối hai đối tượng cùng loại và việc ghép nối đó có thể thực hiện theo thứ tự bất kỳ mà không ảnh hưởng đến kết quả cuối cùng, ta thường đang đứng trước một bán nhóm.

Khái niệm cấu trúc cơ bản: phần tử lũy đẳng, bán nhóm con, sinh bởi tập con

Bên trong một bán nhóm, người ta quan tâm đến các phần tử và tập con có tính chất đặc biệt. Một khái niệm trung tâm là phần tử lũy đẳng, tức là phần tử e thỏa mãn e·e = e. Các phần tử lũy đẳng xuất hiện tự nhiên trong nhiều bán nhóm và thường đóng vai trò như “điểm ổn định” của phép nhân.

Khái niệm bán nhóm con cũng tương tự như trong lý thuyết nhóm. Một tập con T của S được gọi là bán nhóm con nếu T đóng dưới phép toán của S. Không giống nhóm con, bán nhóm con không cần chứa phần tử đơn vị hay nghịch đảo, nên điều kiện kiểm tra thường đơn giản hơn.

Một ý tưởng quan trọng khác là bán nhóm sinh bởi một tập con. Cho A là một tập con của S, bán nhóm sinh bởi A là bán nhóm nhỏ nhất chứa A, thường được tạo ra bằng cách lấy tất cả các tích hữu hạn của các phần tử trong A. Khái niệm này cho phép mô tả bán nhóm thông qua một tập sinh và các quan hệ giữa chúng, tương tự như cách trình bày nhóm.

• Phần tử lũy đẳng: e·e = e.
• Bán nhóm con: tập con đóng dưới phép nhân.
• Bán nhóm sinh bởi A: ký hiệu ⟨A⟩.

Những khái niệm cơ bản này là nền tảng cho các kết quả sâu hơn về phân rã cấu trúc, đồng dư, và phân loại bán nhóm, đặc biệt trong trường hợp hữu hạn.

Đồng cấu, đồng dư và bán nhóm thương

Để so sánh và phân loại các bán nhóm, khái niệm đồng cấu đóng vai trò trung tâm. Một đồng cấu bán nhóm là một ánh xạ giữa hai bán nhóm bảo toàn phép toán, nghĩa là hình ảnh của tích bằng tích của hình ảnh. Đồng cấu cho phép chuyển thông tin cấu trúc từ một bán nhóm sang một bán nhóm khác, đồng thời là công cụ cơ bản để nghiên cứu tính chất bất biến.

Tuy nhiên, không giống như lý thuyết nhóm, việc xây dựng cấu trúc thương trong bán nhóm phức tạp hơn. Lý do là không phải mọi quan hệ tương đương đều tương thích với phép toán. Do đó, người ta phải giới hạn ở các quan hệ đặc biệt gọi là đồng dư, tức là các quan hệ tương đương thỏa mãn tính ổn định khi nhân thêm phần tử ở bên trái hoặc bên phải.

Khi có một đồng dư trên bán nhóm S, ta có thể xây dựng bán nhóm thương bằng cách lấy tập các lớp tương đương và định nghĩa phép nhân cảm sinh. Quá trình này là nền tảng cho nhiều kỹ thuật phân rã và cho phép nghiên cứu bán nhóm thông qua các “nhân tử” đơn giản hơn.

• Đồng cấu: ánh xạ bảo toàn phép nhân.
• Đồng dư: quan hệ tương đương tương thích với phép nhân.
• Bán nhóm thương: cấu trúc cảm sinh từ đồng dư.

Quan hệ Green và phân tích cấu trúc nội tại

Một trong những đóng góp quan trọng nhất của lý thuyết bán nhóm là hệ thống các quan hệ Green. Các quan hệ này cho phép phân tích bán nhóm dựa trên các lý tưởng trái, phải và hai phía, từ đó “chia nhỏ” bán nhóm thành các lớp có ý nghĩa cấu trúc.

Quan hệ L và R phản ánh khả năng sinh cùng lý tưởng trái hoặc phải, trong khi quan hệ J liên quan đến lý tưởng hai phía. Từ đó, các quan hệ H và D được xây dựng như sự kết hợp của L và R. Trong bán nhóm hữu hạn, các quan hệ này thường trùng nhau theo những cách đặc biệt, giúp đơn giản hóa việc phân loại.

Nhờ các quan hệ Green, nhiều kết quả cấu trúc sâu sắc đã được chứng minh, đặc biệt đối với bán nhóm chính quy và bán nhóm hữu hạn. Chúng cung cấp một ngôn ngữ chung để mô tả và so sánh các bán nhóm rất khác nhau về mặt biểu hiện.

Quan hệ	Ý nghĩa trực giác
L	Cùng sinh lý tưởng trái
R	Cùng sinh lý tưởng phải
J	Cùng sinh lý tưởng hai phía
H	Giao của L và R
D	Đóng của L và R

Các lớp bán nhóm quan trọng

Trong thực tế nghiên cứu, người ta thường tập trung vào những lớp bán nhóm có hành vi đặc biệt ổn định. Một lớp quan trọng là bán nhóm chính quy, trong đó mỗi phần tử có thể được “xấp xỉ” bởi chính nó thông qua một phần tử khác. Lớp này bao hàm nhiều ví dụ tự nhiên và có cấu trúc phong phú.

Bán nhóm nghịch đảo là một trường hợp đặc biệt của bán nhóm chính quy, nơi mỗi phần tử có một nghịch đảo duy nhất theo nghĩa phù hợp. Lớp này xuất hiện tự nhiên trong việc mô hình hóa các đối xứng từng phần và có liên hệ chặt chẽ với tô pô và giải tích hàm.

Bán nhóm hữu hạn cũng chiếm vị trí trung tâm vì nhiều tính chất quyết định được trong trường hợp này, và vì chúng liên hệ trực tiếp đến tự động hữu hạn. Trong bối cảnh tin học lý thuyết, hầu hết các bán nhóm xuất hiện đều là hữu hạn.

• Bán nhóm chính quy.
• Bán nhóm nghịch đảo.
• Bán nhóm hữu hạn.
• Bán nhóm giao hoán.

Liên hệ với tự động hữu hạn và ngôn ngữ chính quy

Một động lực lớn của lý thuyết bán nhóm hiện đại đến từ tin học lý thuyết. Mỗi ngôn ngữ chính quy đều có thể gắn với một monoid hoặc bán nhóm hữu hạn gọi là bán nhóm cú pháp. Cấu trúc đại số này phản ánh chính xác độ phức tạp tổ hợp của ngôn ngữ.

Sự tương ứng giữa các lớp ngôn ngữ và các lớp bán nhóm được hệ thống hóa trong các định lý kiểu Eilenberg. Những kết quả này cho thấy rằng việc phân loại ngôn ngữ chính quy có thể được chuyển thành bài toán thuần đại số, và ngược lại.

Nhờ mối liên hệ này, nhiều câu hỏi trong tin học lý thuyết đã được giải quyết bằng công cụ bán nhóm, đặc biệt là các bài toán quyết định và phân loại độ phức tạp.

• Bán nhóm cú pháp của ngôn ngữ.
• Tương ứng Eilenberg.
• Ứng dụng trong phân tích tự động.

Ứng dụng và hướng nghiên cứu

Ngoài ngôn ngữ hình thức, bán nhóm còn xuất hiện trong nhiều lĩnh vực khác như lý thuyết điều khiển, phân tích hệ động lực rời rạc, và đại số tổ hợp. Các transformation semigroups cho phép mô tả sự hợp thành của các phép biến đổi trạng thái trong hệ thống phức tạp.

Về mặt lý thuyết, các hướng nghiên cứu hiện nay bao gồm phân loại các lớp bán nhóm thông qua đồng nhất thức, nghiên cứu pseudovarieties, và các bài toán quyết định liên quan. Những vấn đề này vừa có chiều sâu thuần túy, vừa gắn với các ứng dụng tính toán.

Lý thuyết bán nhóm vì thế tiếp tục là một lĩnh vực năng động, đóng vai trò nền tảng cho nhiều nhánh giao thoa giữa toán học và tin học.

Tài liệu tham khảo

1. J. M. Howie, Fundamentals of Semigroup Theory, Oxford University Press. https://ndl.ethernet.edu.et/bitstream/123456789/53763/1/John%20M.%20Howie.pdf
2. A. H. Clifford, G. B. Preston, The Algebraic Theory of Semigroups, American Mathematical Society. https://bookstore.ams.org/surv-7.1
3. Wolfram Research, “Semigroup”, Wolfram MathWorld. https://mathworld.wolfram.com/Semigroup.html
4. J.-É. Pin, H. Straubing, bài khảo sát về varieties và pseudovarieties. https://www.numdam.org
5. J. Almeida, “Pseudovarieties of semigroups”, arXiv. https://arxiv.org/abs/2503.22546